def f: String => Tree[Int]